Proceedings of the Automated Reasoning Workshop 2010 Bridging the Gap between Theory and Practice
نویسندگان
چکیده
Software testing and automated reasoning have traditionally concerned different issues and there has been very little interaction between the two communities. However, some connections have been established and especially between automated reasoning and automated test generation. This paper briefly reviews some such relationships.
منابع مشابه
نظریه پردازی بر فرآیند انتقال دانش نظری به حوزه عمل در پرستاری: رویکرد گراندد تئوری
Introduction & Objective: Knowledge transfer and in fact, the bridging of theory and practice is one of the main concerns of all academic disciplines. Getting prominent professional status is the thing that can be achieved by knowledge-based function, and of which would be called as successful discipline that it be able to transfer its theoretical paradigmatic claims into practice. Accordingly,...
متن کاملBridging the Gap Between Research and Policy and Practice; Comment on “CIHR Health System Impact Fellows: Reflections on ‘Driving Change’ Within the Health System”
Far too often, there is a gap between research and policy and practice. Too much research is undertaken with little relevance to real life problems or its reported in ways that are obscure and impenetrable. At the same time, many policies are developed and implemented but are untouched by, or even contrary to evidence. An accompanying paper describes an innovative progr...
متن کاملProceedings of the First Workshop on Bridging the Gap between Human and Automated
I present a logic programming approach based on the weak completions semantics to model human reasoning tasks, and apply the approach to model the suppression task, the selection task as well as the belief-bias e↵ect, to compute preferred mental models of spatial reasoning tasks and to evaluate indicative as well as counterfactual conditionals.
متن کاملThe effects of clinical supervision program application on nursing
Background. Practice is where skills are developed and where theory must pass testing but there is a gap between classroom education and practice in nursing. The clinical supervision is a demonstration project of advanced practice and bridging the gap between theory and practice. Clinical supervision is a mechanism supporting both professional and personal development. The main purpose of this ...
متن کاملBridging the ‘Two Cultures’ of Research and Service: Can Complexity Theory Help?; Comment on “Experience of Health Leadership in Partnering With University-Based Researchers in Canada – A Call to ‘Re-imagine’ Research”
This commentary addresses Bowen et al’s empirical study of perspectives of Canadian healthcare staff towards research and their call for multi-faceted action to improve misalignments in the system. This commentary argues that tensions and misalignments between research and service are inherent and can never be eradicated. Building on previous work by Lanham et al, I pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010